Kaile Su,: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Inactivation of Ricin Toxin by Nanosecond Pulsed Electric Fields Including Evidences from Cell and Animal Toxicity

Wei, Kai, Li, Wei, Gao, Shan, Ji, Bin, Zang, Yating, Su, Bo, Wang, Kaile, Yao, Maosheng, Zhang, Jue, Wang, Jinglin

Journal:

Scientific Reports

Year:

2016

Language:

english

File:

PDF, 1.84 MB

english, 2016

2

An I/O Efficient Model Checking Algorithm for Large-Scale Systems

Wu, Lijun, Huang, Huijia, Su, Kaile, Cai, Shaowei, Zhang, Xiaosong

Journal:

IEEE Transactions on Very Large Scale Integration (VLSI) Systems

Year:

2015

Language:

english

File:

PDF, 2.99 MB

english, 2015

3

Local search with edge weighting and configuration checking heuristics for minimum vertex cover

Shaowei Cai, Kaile Su, Abdul Sattar

Journal:

Artificial Intelligence

Year:

2011

Language:

english

File:

PDF, 601 KB

english, 2011

4

Logic and AI in China: An Introduction

Fenrong Liu, Kaile Su

Journal:

Minds and Machines

Year:

2013

Language:

english

File:

PDF, 111 KB

english, 2013

5

Local search for Boolean Satisfiability with configuration checking and subscore

Cai, Shaowei, Su, Kaile

Journal:

Artificial Intelligence

Year:

2013

Language:

english

File:

PDF, 519 KB

english, 2013

6

[IEEE Comput. Soc 35th Annual Hawaii International Conference on System Sciences - Big Island, HI, USA (7-10 Jan. 2002)] Proceedings of the 35th Annual Hawaii International Conference on System Sciences - Intelligent student profiling with fuzzy models

Dongming Xu,, Huaiqing Wang,, Kaile Su,

Year:

2002

Language:

english

File:

PDF, 512 KB

english, 2002

7

[ACM Press the fourth international joint conference - The Netherlands (2005.07.25-2005.07.29)] Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems - AAMAS '05 - A computationally grounded logic of knowledge, belief and certainty

Su, Kaile, Sattar, Abdul, Governatori, Guido, Chen, Qingliang

Year:

2005

Language:

english

File:

PDF, 455 KB

english, 2005

8

[IEEE 2015 International Joint Conference on Neural Networks (IJCNN) - Killarney, Ireland (2015.7.12-2015.7.17)] 2015 International Joint Conference on Neural Networks (IJCNN) - A Combination of Multi-state Activation Functions, Mean-normalisation and Singular Value Decomposition for learning Deep Neural Networks

Chenghao Cai,, Dengfeng Ke,, Yanyan Xu,, Kaile Su,

Year:

2015

Language:

english

File:

PDF, 662 KB

english, 2015

9

Non-thermal plasma for inactivated-vaccine preparation

Wang, Guomin, Zhu, Ruihao, Yang, Licong, Wang, Kaile, Zhang, Qian, Su, Xia, Yang, Bing, Zhang, Jue, Fang, Jing

Journal:

Year:

2015

Language:

english

File:

PDF, 2.14 MB

english, 2015

10

[IEEE 2006 International Conference on Computational Intelligence and Security - Guangzhou, China (2006.11.3-2006.11.6)] 2006 International Conference on Computational Intelligence and Security - Reasoning about Knowledge by SAT Solving

Su, Kaile, Chen, Qingliang, Zheng, Xizhong, Yue, Weiya

Year:

2006

Language:

english

File:

PDF, 195 KB

english, 2006

11

New local search methods for partial MaxSAT

Cai, Shaowei, Luo, Chuan, Lin, Jinkun, Su, Kaile

Journal:

Artificial Intelligence

Year:

2016

Language:

english

File:

PDF, 386 KB

english, 2016

12

CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability

Luo, Chuan, Cai, Shaowei, Su, Kaile, Huang, Wenxuan

Journal:

Artificial Intelligence

Year:

2016

Language:

english

File:

PDF, 405 KB

english, 2016

13

Primitive recursive real numbers

Qingliang Chen, Kaile Su, Xizhong Zheng

Journal:

Mathematical Logic Quarterly

Year:

2007

Language:

english

File:

PDF, 168 KB

english, 2007

14

Primitive Recursiveness of Real Numbers under Different Representations

Qingliang Chen, Kaile Su, Xizhong Zheng

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 399 KB

english, 2007

15

Constraints on extensions of a default theory

Journal:

Journal of Computer Science and Technology

Year:

2001

Language:

english

File:

PDF, 810 KB

english, 2001

16

Semantic interpretation of compositional logic in instantiation space

Kaile SU, Yinyin Xiao, Qingliang Chen, Han Lin

Journal:

Frontiers of Computer Science

Year:

2007

Language:

english

File:

PDF, 338 KB

english, 2007

17

A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems

Lijun Wu, Jinshu Su, Kaile Su, Xiangyu Luo, Zhihua Yang

Journal:

Knowledge-Based Systems

Year:

2010

Language:

english

File:

PDF, 257 KB

english, 2010

18

Knowledge structure approach to verification of authentication protocols

Kaile Su, Guanfeng Lü, Qingliang Chen

Journal:

SCIENCE CHINA Information Sciences

Year:

2005

Language:

english

File:

PDF, 250 KB

english, 2005

19

More on Representation Theory for Default Logic

Journal:

Information and Computation

Year:

2001

Language:

english

File:

PDF, 91 KB

english, 2001

20

A logical framework for identifying quality knowledge from different data sources

Kaile Su, Huijing Huang, Xindong Wu, Shichao Zhang

Journal:

Decision Support Systems

Year:

2006

Language:

english

File:

PDF, 296 KB

english, 2006

21

A complete first-order temporal BDI logic for forest multi-agent systems

Lijun Wu, Kaile Su, Abdul Sattar, Qingliang Chen, Jinshu Su, Wei Wu

Journal:

Knowledge-Based Systems

Year:

2012

Language:

english

File:

PDF, 259 KB

english, 2012

22

[Lecture Notes in Computer Science] Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Volume 7285 ||

Snoeyink, Jack, Lu, Pinyan, Su, Kaile, Wang, Lusheng

Year:

2012

Language:

english

File:

PDF, 4.59 MB

english, 2012

23

Preference dynamics in games with short sight

Liu, Chanjuan, Zhu, Enqiang, Liu, Fenrong, Su, Kaile

Journal:

Applied Mathematics and Computation

Year:

2014

Language:

english

File:

PDF, 455 KB

english, 2014

24

Clause States Based Configuration Checking in Local Search for Satisfiability

Luo, Chuan, Cai, Shaowei, Su, Kaile, Wu, Wei

Journal:

IEEE Transactions on Cybernetics

Year:

2015

Language:

english

File:

PDF, 1.59 MB

english, 2015

25

[IEEE Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004. - Pacific Grove, CA, USA (June 28-30, 2004)] Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004. - Symbolic model checking the knowledge of the dining cryptographers

van der Meyden, R., Kaile Su,

Year:

2004

Language:

english

File:

PDF, 406 KB

english, 2004

26

[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - A Succinct and Efficient Implementation of a 2^32 BDD Package

Lv, Guanfeng, Chen, Yao, Feng, Yachao, Chen, Qingliang, Su, Kaile

Year:

2012

Language:

english

File:

PDF, 266 KB

english, 2012

27

[IEEE 2011 Second International Conference on Networking and Distributed Computing (ICNDC) - Beijing, China (2011.09.21-2011.09.24)] 2011 Second International Conference on Networking and Distributed Computing - UAP: A New UDP-Based Application Level Transport Protocol

Lv, Guanfeng, Xu, Xudong, Su, Kaile, Chen, Qingliang

Year:

2011

Language:

english

File:

PDF, 152 KB

english, 2011

28

[IEEE 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence (ICTAI) - Boca Raton, FL, USA (2011.11.7-2011.11.9)] 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence - Local Search with Configuration Checking for SAT

Cai, Shaowei, Su, Kaile

Year:

2011

Language:

english

File:

PDF, 207 KB

english, 2011

29

[IEEE 2013 12th International Conference on Document Analysis and Recognition (ICDAR) - Washington, DC, USA (2013.08.25-2013.08.28)] 2013 12th International Conference on Document Analysis and Recognition - Automated Error Detection and Correction of Chinese Characters in Written Essays Based on Weighted Finite-State Transducer

Hao, Shudong, Gao, Zongtian, Zhang, Mingqing, Xu, Yanyan, Peng, Hengli, Su, Kaile, Ke, Dengfeng

Year:

2013

Language:

english

File:

PDF, 284 KB

english, 2013

30

[IEEE 2010 International Conference on Intelligent Computing and Integrated Systems (ICISS) - Guilin, China (2010.10.22-2010.10.24)] 2010 International Conference on Intelligent Computing and Integrated Systems - Translation-based verification of Web services composition via ZING

Xiangyu Luo,, Jingjing Lu,, Kaile Su,, Rongsheng Dong,

Year:

2010

Language:

english

File:

PDF, 498 KB

english, 2010

31

[IEEE 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Sydney, Australia (2008.12.9-2008.12.12)] 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Solving Sum and Product Riddle via BDD-Based Model Checking

Luo, Xiangyu, Su, Kaile, Sattar, Abdul, Chen, Yan

Year:

2008

Language:

english

File:

PDF, 288 KB

english, 2008

32

[IEEE 2008 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE) - Nanjing, China (2008.06.17-2008.06.19)] 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering - Improving Encoding Efficiency for Bounded Model Checking

Yang, Jinji, Su, Kaile, Chen, Qingliang

Year:

2008

Language:

english

File:

PDF, 265 KB

english, 2008

33

[IEEE 2010 International Conference on Service Sciences - Hangzhou, China (2010.05.13-2010.05.14)] 2010 International Conference on Service Sciences - Automatic Verification of Web Service Protocols for Epistemic Specifications under Dolev-Yao Model

Chen, Qingliang, Su, Kaile, Liu, Chanjuan, Xiao, Yinyin

Year:

2010

Language:

english

File:

PDF, 341 KB

english, 2010

34

Early Growth Effects of Nanosecond Pulsed Electric Field (nsPEFs) Exposure on Haloxylon ammodendron

Su, Bo, Guo, Jinsong, Nian, Weifeng, Feng, Hongqing, Wang, Kaile, Zhang, Jue, Fang, Jing

Journal:

Plasma Processes and Polymers

Year:

2015

Language:

english

File:

PDF, 1.33 MB

english, 2015

35

[IEEE 2014 22nd International Conference on Pattern Recognition (ICPR) - Stockholm, Sweden (2014.8.24-2014.8.28)] 2014 22nd International Conference on Pattern Recognition - Automated Chinese Essay Scoring from Topic Perspective Using Regularized Latent Semantic Indexing

Hao, Shudong, Xu, Yanyan, Peng, Hengli, Su, Kaile, Ke, Dengfeng

Year:

2014

Language:

english

File:

PDF, 238 KB

english, 2014

36

Microsatellite Diversity, Population Structure, and Core Collection Formation in Melon Germplasm

Hu, Jianbin, Wang, Panqiao, Su, Yan, Wang, Ruijiao, Li, Qiong, Sun, Kaile

Journal:

Plant Molecular Biology Reporter

Year:

2015

Language:

english

File:

PDF, 986 KB

english, 2015

37

An effective variable selection heuristic in SLS for weighted Max-2-SAT

Cai, Shaowei, Jie, Zhong, Su, Kaile

Journal:

Journal of Heuristics

Year:

2015

Language:

english

File:

PDF, 285 KB

english, 2015

38

A complete coalition logic of temporal knowledge for multi-agent systems

Chen, Qingliang, Su, Kaile, Hu, Yong, Hu, Guiwu

Journal:

Frontiers of Computer Science

Year:

2015

Language:

english

File:

PDF, 361 KB

english, 2015

39

[Lecture Notes in Computer Science] Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Volume 7285 || On Covering Points with Minimum Turns

Snoeyink, Jack, Lu, Pinyan, Su, Kaile, Wang, Lusheng

Year:

2012

Language:

english

File:

PDF, 262 KB

english, 2012

40

An I/O Efficient Approach for Detecting All Accepting Cycles

Wu, Lijun, Su, Kaile, Cai, Shaowei, Zhang, Xiaosong, Zhang, Chenyi, Wang, Shupeng

Journal:

IEEE Transactions on Software Engineering

Year:

2015

Language:

english

File:

PDF, 769 KB

english, 2015

41

More efficient two-mode stochastic local search for random 3-satisfiability

Luo, Chuan, Su, Kaile, Cai, Shaowei

Journal:

Applied Intelligence

Year:

2014

Language:

english

File:

PDF, 1.13 MB

english, 2014

42

Significance of hind wing morphology in distinguishing genera and species of cantharid beetles with a geometric morphometric analysis

Su, Junyan, Guan, Kaile, Wang, Jiaxu, Yang, Yuxia

Journal:

Year:

2015

Language:

english

File:

PDF, 3.37 MB

english, 2015

43

CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability

Luo, Chuan, Cai, Shaowei, Wu, Wei, Jie, Zhong, Su, Kaile

Journal:

IEEE Transactions on Computers

Year:

2015

Language:

english

File:

PDF, 279 KB

english, 2015

44

[WORLD SCIENTIFIC / S'PORE UNIV PRESS (PTE) LTD Proceedings of the Sixth Asian Logic Conference - Beijing, China (20 – 24 May 1996)] Proceedings of the Sixth Asian Logic Conference - A Solution to a Problem of Marek and Truszcyński

Su, Kaile, Chen, Huowang

Year:

1998

Language:

english

File:

PDF, 529 KB

english, 1998

45

Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation

Cai, Shaowei, Luo, Chuan, Su, Kaile

Journal:

The Computer Journal

Year:

2015

Language:

english

File:

PDF, 292 KB

english, 2015

46

A first-order coalition logic for BDI-agents

Chen, Qingliang, Su, Kaile, Sattar, Abdul, Luo, Xiangyu, Chen, Aixiang

Journal:

Frontiers of Computer Science

Year:

2016

Language:

english

File:

PDF, 442 KB

english, 2016

47

Sterilization efficiency of a novel electrochemical disinfectant against Staphylococcus aureus

Zhang, Qian, Ma, Ruonan, Tian, Ying, Su, Bo, Wang, Kaile, Yu, Shuang, Zhang, Jue, Fang, Jing

Journal:

Environmental Science & Technology

Year:

2016

Language:

english

File:

PDF, 1.34 MB

english, 2016

48

[IEEE 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lincoln, NE, USA (2015.11.9-2015.11.13)] 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T)

Lin, Jinkun, Luo, Chuan, Cai, Shaowei, Su, Kaile, Hao, Dan, Zhang, Lu

Year:

2015

Language:

english

File:

PDF, 237 KB

english, 2015

49

Contextualized Latent Semantic Indexing: A New Approach to Automated Chinese Essay Scoring

Xu, Yanyan, Ke, Dengfeng, Su, Kaile

Journal:

Journal of Intelligent Systems

Year:

2016

File:

PDF, 2.59 MB

2016

50

Contextualized Latent Semantic Indexing: A New Approach to Automated Chinese Essay Scoring

Xu, Yanyan, Ke, Dengfeng, Su, Kaile

Journal:

Journal of Intelligent Systems

Year:

2016

Language:

english

File:

PDF, 2.59 MB

english, 2016